Skip to content
This repository has been archived by the owner on May 26, 2022. It is now read-only.

Setup Github actions #841

Merged
merged 5 commits into from
Jan 11, 2022
Merged

Setup Github actions #841

merged 5 commits into from
Jan 11, 2022

Conversation

adrilo
Copy link
Collaborator

@adrilo adrilo commented Nov 12, 2021

No description provided.

@adrilo adrilo force-pushed the github_actions branch 8 times, most recently from 1ea611c to 9ff0c3d Compare November 12, 2021 14:36
@adrilo adrilo closed this Nov 12, 2021
@adrilo adrilo reopened this Nov 12, 2021
@jmleroux
Copy link

Great initiative!

@jmleroux
Copy link

FYI, it could also work with Docker: #840

@adrilo adrilo force-pushed the github_actions branch 2 times, most recently from 37296af to c2c35a9 Compare January 11, 2022 07:55
@adrilo adrilo marked this pull request as ready for review January 11, 2022 07:59
@adrilo adrilo merged commit 6a10ec3 into master Jan 11, 2022
@adrilo adrilo deleted the github_actions branch January 11, 2022 08:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@adrilo @jmleroux